only events in $L$ send on ${\it lnk}$ with ${\it tag}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr(inr(inr(inr(inl($\langle$${\it lnk}$$,\,$${\it tag}$$,\,$$L$$\rangle$)))))